An Arithmetically Complete Predicate Modal Logic

Dynamic Modal Predicate Logic

Modal Foundations for Predicate Logic

The complexity of any logical modeling reeects both the intrinsic structure of a topic described and the weight of the formal tools. Some of this weight seems inherent in even the most basic logical systems. Notably, standard predicate logic is undecidable. In this paper, we investigatèlighter' versions of this general purpose tool, by modally`deconstructing' the usual semantics, and locating i...

Frame Correspondences in Modal Predicate Logic

Understanding modal predicate logic is a continuing challenge, both philosophical and mathematical. In this paper, I study this system in terms of frame correspondences, finding a number of definability results using substitution methods, including new analyses of axioms in intermediate intuitionistic predicate logics. The semantic arguments often have a different flavour from those in proposit...

Individual Concepts in Modal Predicate Logic

The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary re...

The Semantics of Modal Predicate Logic II. Modal Individuals Revisited

We continue the investigations begun in [10]. We shall define a semantics that is build on a new notion of frame, called coherence frames. In these frames, objects are transcendental (world–independent), as in the standard constant–domain semantics. This will remove the asymmetry between constants and variables of the counterpart semantics of [10]. We demonstrate the completeness of (general) c...